Abstraction and specification in program development
نویسندگان
چکیده
منابع مشابه
Program Development in Java - Abstraction, Specification, and Object-Oriented Design
Written by a world-renowned expert on programming methodology, and the winner of the 2008 Turing Award,Ð’Â this book shows how to build production-quality programs--programs that are reliable, easy to maintain, and quick to modify. Its emphasis is on modular program construction: how to get the modules right and how to organize a program as a collection of modules. The book presents a methodolo...
متن کاملData abstraction and program development using Pascal
By reading, you can know the knowledge and things more, not only about what you get from people to people. Book will be more trusted. As this data abstraction and program development using pascal, it will really give you the good idea to be successful. It is not only for you to be success in certain life you can be successful in everything. The success can be started by knowing the basic knowle...
متن کاملLinking Specification, Abstraction, and Debugging
Designing and implementing a visual debugger for distributed programs is a significant challenge. Data about executing programs must be gathered and collated without unduly modifying the behaviour of the program under study. The data must be displayed in ways that are understandable to the user. One aspect of this problem is that human users are easily overwhelmed by huge amounts of detail, so ...
متن کاملSoftware Environment Support for Integrated Formal Program Specification and Development
Formal program development has gained widespread academic interest as a rigorous software engineering technique. One of the main hurdles for the wider IT industry in adopting these formal techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for object-oriented software development which inc...
متن کاملHasCasl: Integrated higher-order specification and program development
We lay out the design of HasCasl, a higher order extension of the algebraic specification language Casl that serves both as a wide-spectrum language for the rigorous specification and development of software, in particular but not exclusively in modern functional programming languages, and as an expressive standard language for higher-order logic. Distinctive features of HasCasl include partial...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1988
ISSN: 0167-6423
DOI: 10.1016/0167-6423(88)90020-2